Theorem prover - PDFSEARCH.IO - Document Search Engine

Theorem prover
Results: 85

#	Item
71	A Trustworthy, Extensible Theorem Prover Jared Davis Department of Computer Sciences The University of Texas at Austin Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-04 22:53:43 Lisp programming language Logic in computer science Proof theory Formal methods Mathematical logic ACL2 Mathematical proof Theorem Automated theorem proving Mathematics Logic Computing
72	Copyright by Jared Curran Davis 2009 The Dissertation Committee for Jared Curran Davis Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2010-11-05 00:16:20 Automated theorem proving Mathematical logic Proof theory ACL2 Lisp programming language Nqthm Mathematical proof Theorem prover Theorem Logic Theoretical computer science Mathematics
73	The Milawa Theorem Prover is Sound down to the x86 machine code that runs it Jared Davis Centaur Technology, USA Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2012-07-13 08:58:26 Tau Mathematical proof Knowledge Mathematical logic Mathematics Theorem prover
74	Distributed Proving in Access-Control Systems∗ Lujo Bauer† Scott Garriss‡ Abstract Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Mathematical logic Automated theorem proving IP Theorem prover Mathematical proof ML Algorithm Prolog Alice Programming language theory Software engineering Computing
75	Curriculum Vitae and Research Statement Dr. Alexandre Riazanov (Alexander Ryazanov1 ) Saint John, NB, Canada Add to Reading List Source URL: riazanov.webs.com Language: English Automated theorem proving Semantic Web Searching Term indexing Vampire Reasoning E theorem prover Automated reasoning Ontology Science Theoretical computer science Information science
76	Why3 Modern automatic theorem prover Based on SMT technology Qualification DO-178 B/C (avionic) Used in industrial world Add to Reading List Source URL: alt-ergo.ocamlpro.com Language: English - Date: 2014-07-02 21:39:26 Ada programming language Formal methods Frama-C SPARK Logic in computer science Automated theorem proving AdaCore Ada Formal verification Computing Software engineering Computer programming
77	The Abella Interactive Theorem Prover (System Description) arXiv:0803.2305v2 [cs.LO] 23 May[removed]Andrew Gacek Add to Reading List Source URL: arxiv.org Language: English - Date: 2008-05-23 11:30:13 Predicate logic Logic in computer science Theoretical computer science Type theory Formal methods ΛProlog Unification Logic programming Lambda calculus Mathematical logic Logic Mathematics
78	The Matita Interactive Theorem Prover Andrea Asperti1 , Wilmer Ricciotti1 , Claudio Sacerdoti Coen1 , and Enrico Tassi2 1 Department of Computer Science, University of Bologna Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2012-02-14 06:55:31 Formal methods Automated theorem proving Logic in computer science Type theory Programming language theory Matita Proof assistant POPLmark challenge Theorem Proving in Higher-Order Logics Theoretical computer science Computer science Applied mathematics
79	INFORMATION AND COMMUNICATION TECHNOLOGIES (ICT) PROGRAMME Project FP7-ICT-2009-C[removed]CerCo Add to Reading List Source URL: cerco.cs.unibo.it Language: English - Date: 2013-05-14 11:38:47 Ubuntu Logic in computer science Frama-C Formal methods Debian Proof assistant Isabelle Deb Theorem prover Software Dpkg Automated theorem proving
80	The CADE-22 ATP System Competition (CASC-22) Geoff Sutcliffe University of Miami, USA Abstract The CADE ATP System Computer (CASC) evaluates the performance of sound, fully automatic, classical logic, ATP systems. The Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2009-07-26 04:55:53 Formal methods Vampire E theorem prover CADE ATP System Competition Geoff Sutcliffe CASC Software Theoretical computer science Automated theorem proving

UPDATE